Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory Yoichi Hirai, Dakar

Source URL: yoichihirai.com

• Logic
• Artificial intelligence
• Epistemic modal logic
• Formal epistemology
• Modal logic
• Philosophy
• Interpretation
• Cognitive science

KAVYA SUKUMAR | | @kavyaSukumar| http://kavyasukumar.com | http://github.com/kavyasukumar Developer-journalist with formal training in both computer science and journalism More

Source URL: kavyasukumar.com

Faculty of Computer Science, Institute for Software- and Multimediatechnology VISO A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems The Visualization Ontology (VISO) aims at formalizing

Source URL: www-st.inf.tu-dresden.de

Logic in Automatic Verification Javier Esparza Sofware Reliability and Security Group Institute for Formal Methods in Computer Science University of Stuttgart

Source URL: www7.in.tum.de

CONTEXT–FREE LANGUAGES OF SUB–EXPONENTIAL GROWTH MARTIN R. BRIDSON AND ROBERT H. GILMAN Abstract. There do not exist context–free languages of intermediate growth. The function γ whose value at each non–negativ

Source URL: www.math.stevens.edu

• Formal languages
• Combinatorics on words
• Mathematics
• Theoretical computer science
• Model theory
• Academia
• Geometric group theory

The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml
• Formal verification
• French Institute for Research in Computer Science and Automation

Call for Papers The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSVaffiliated with 7th International Computer Science Symposium in Russia (CSR-2012), will be held

Source URL: formal.iti.kit.edu

Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

Source URL: jeapostrophe.github.io

• Lambda calculus
• Combinatory logic
• Logic in computer science
• Computability theory
• Functions and mappings
• Formal methods
• Monad
• Derivative
• Trace